- метод трансфинитной индукции
- method of transfinite induction
Русско-английский научно-технический словарь Масловского. 2015.
метод трансфинитной индукции
Look at other dictionaries:
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — метод доказательства математич. утверждений, основанный на принципе математической индукции: утверждение (х), зависящее от натурального параметра х, считается доказанным, если доказано А(1) и для любого натурального пиз предположения, что верно… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… … Философская энциклопедия
Трансфинитная индукция — Трансфинитная индукция метод доказательства, обобщающий математическую индукцию на случай несчётного числа значений параметра. Трансфинитная индукция основана на следующем утверждении: Пусть вполне упорядоченное множество, при … Википедия
Математическая индукция — Математическая индукция один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров … Википедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
ИЕРАРХИЯ — классификация тех или иных математич. объектов в соответствии с их сложностью. Первые И. были построены в дескриптивной теории множеств (см. [3]). В этих И. переход к более сложному классу множеств осуществляется путем применения теоретико… … Математическая энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
семантические категории — СЕМАНТИЧЕСКИЕ КАТЕГОРИИ типы значений выражений языка. Учение о С. к. восходит к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польск. школе логики. К учению о С. к. очень… … Энциклопедия эпистемологии и философии науки
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
